Model-Checking Event Structures, Part 2 Madhavan Mukund Chennai Mathematical Institute http://www.cmi.ac.in/˜madhavan Formal Methods Update Meeting

Source URL: www.cmi.ac.in

Technical University of Denmark Department of Informatics and Mathematical Modelling The Royal Institute of Technology Telecommunication Systems Laboratory Sven Bugiel

Source URL: www.infsec.cs.uni-saarland.de

MA CM Bergische Universit¨at Wuppertal Fachbereich Mathematik und Naturwissenschaften Institute of Mathematical Modelling, Analysis and Computational

Source URL: www.imacm.uni-wuppertal.de

The Fields Institute for Research in Mathematical Sciences Corporate Affiliate Benefits Fields Institute activities are open to the industrial and commercial communities. The agreement between a Corporate Affiliate and t

Source URL: www.fields.utoronto.ca

MA CM Bergische Universit¨at Wuppertal Fachbereich Mathematik und Naturwissenschaften Institute of Mathematical Modelling, Analysis and Computational

Source URL: www.imacm.uni-wuppertal.de

Bioinformatics Advance Access published April 28, 2010 Parallelization of the MAFFT multiple sequence alignment program Kazutaka Katoh∗ and Hiroyuki Toh Computational Biology Research Center, National Institute of Adv

Source URL: bioinformatics.oxfordjournals.org

• Computational phylogenetics
• Bioinformatics
• Biology
• Mathematical and theoretical biology
• Software
• Multiple sequence alignment
• MAFFT
• BLAST
• Sequence alignment
• Clustal
• Structural alignment
• Alignment

MA CM Bergische Universit¨at Wuppertal Fachbereich Mathematik und Naturwissenschaften Institute of Mathematical Modelling, Analysis and Computational

Source URL: www.imacm.uni-wuppertal.de

Dimensionality reduction for survival data via the Gaussian process latent variable model (GPLVM) James Barrett Institute for Mathematical and Molecular Biomedicine (IMMB), King’s College London 4th June 2014, KCL

Source URL: www.qbio.kcl.ac.uk

Recursion for structured modules Keiko Nakata Research Institute for Mathematical Sciences, Kyoto University Abstract

Source URL: www.cs.ioc.ee

Arrows are Strong Monads Kazuyuki Asada Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan

Source URL: www.kb.is.s.u-tokyo.ac.jp